منابع مشابه
nfn2dlp: A Normal Form Nested Programs Compiler
Normal Form Nested (NFN) programs have recently been introduced in order to allow for enriching the syntax of disjunctive logic programs under the answer sets semantics. In particular, heads of rules can be disjunctions of conjunctions, while bodies can be conjunctions of disjunctions. Different to many other proposals of this kind, NFN programs may contain variables, and a notion of safety has...
متن کاملRobust tests for testing the parameters of a normal population
This article aims to provide a simple robust method to test the parameters of a normal population by using the new diagnostic tool called the “Forward Search” (FS) method. The most commonly used procedures to test the mean and variance of a normal distribution are Student’s t test and Chi-square test, respectively. These tests suffer from the presence of outliers. We introduce the FS version of...
متن کاملHYPOTHESIS TESTING FOR AN EXCHANGEABLE NORMAL DISTRIBUTION
Consider an exchangeable normal vector with parameters ????2, and ?. On the basis of a vector observation some tests about these parameters are found and their properties are discussed. A simulation study for these tests and a few nonparametric tests are presented. Some advantages and disadvantages of these tests are discussed and a few applications are given.
متن کاملnfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver
Normal Form Nested (NFN ) programs have recently been introduced in order to allow for enriching the syntax of disjunctive logic programs under the answer sets semantics. In particular, heads of rules can be disjunctions of conjunctions, while bodies can be conjunctions of disjunctions. Different to many other proposals of this kind, NFN programs may contain variables, and a notion of safety ha...
متن کاملTowards Testing a Verifying Compiler
In this paper, we present our approach on testing a particular verification system that is industrially used to generate mathematical proofs of the correctness of C programs. Normally, the tools used in such a verification process are seldomly verified nor thoroughly tested, and their correctness is taken for granted. Our approach to obtain assurance in such tools does not rely on the knowledge...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 1977
ISSN: 0362-1340,1558-1160
DOI: 10.1145/872734.806945